Inhalt des Dokuments
Forschung
-
Artikel akzeptiert (ESOP 2013)
Artikel "On Distributability in Process Calculi" akzeptiert für ESOP 2012 (Co-Autoren Kirstin Peters, Uwe Nestmann, Ursula Goltz)
-
METHOD 2013 - Programmkomitee
Uwe Nestmann wurde zum Programmkomitee des"2nd IEEE International Workshop on Methods for Establishing Trust with Open Data" (METHOD 2013) eingeladen.
-
FMOODS/FORTE 2013 - Programmkomitee
Uwe Nestmann wurde zum Programmkomitee von FMOODS/FORTE 2013 eingeladen.
-
IFIP WG 2.2 Meeting 2012 - Eingeladener Vortrag
Eingeladener Vortrag von Uwe Nestmann beim jährlichen Treffen der IFIP WG 2.2 Formal Description of Programming Concepts, dieses Mal am CWI in Amsterdam.
-
Artikel akzeptiert (IFIP TCS 2012)
Artikel "Formal Verification of Distributed Algorithms – From Pseudo Code to Checked Proofs" akzeptiert für IFIP TCS 2012 (Co-Autoren Philipp Küfner, Uwe Nestmann, Christina Rickmann)
-
Artikel akzeptiert (TLA 2012)
Artikel "Automated Generation of Refinement Mappings" akzeptiert für TLA 2012 (Co-Autoren Paul-David Brodmann, Hannes Lau, Uwe Nestmann)
-
Artikel akzeptiert (FoSSaCS 2012)
Artikel "Is It a Good Encoding of Guarded Choice?" akzeptiert für FoSSaCS 2012 (Co-Autoren Kirstin Peters, Uwe Nestmann)